Ihre Suche nach "verification techniques" ergab 5 Treffer

Ansicht:
: Computer Aided Verification, Buch

Computer Aided Verification

Lecture Notes in Computer Science -Band 14683

This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024.The primary f…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 43,80*
: Computer Aided Verification, Buch

Computer Aided Verification

Lecture Notes in Computer Science -Band 14682

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024. The…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 43,80*
: Computer Aided Verification, Buch

Computer Aided Verification

Lecture Notes in Computer Science -Band 14681

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024. The…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 43,80*
: Rewriting Logic and Its Applications, Buch

Rewriting Logic and Its Applications

Lecture Notes in Computer Science -Band 14953

This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, duri…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 63,51*
: Designing Modern Embedded Systems: Software, Hardware, and Applications, Buch

Designing Modern Embedded Systems: Software, Hardware, and Applications

IFIP Advances in Information and Communication Technology -Band 669

This book constitutes the refereed proceedings of the 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, held in Lippstadt, Germany, during November 3-4, 2022. The 10 full revised papers…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 93,08*
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.